type HelloWorld = string //expected to be a string